Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
941	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
942	Theory and Applications of Categories, Vol. 28, No. 23, 2013, pp. 733–779. THE ALGEBRA OF THE NERVES OF OMEGA-CATEGORIES RICHARD STEINER Abstract. We show that the nerve of a strict omega-category can be described alg Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-01 12:03:00 Category theory Functional analysis Projection linear algebra Nerve Homological algebra Combinatory logic Meijer G-function Abstract algebra Mathematics Algebra
943	APPLIED PHYSICS LETTERS VOLUME 84, NUMBER[removed]JUNE 2004 Add to Reading List Source URL: cis.csuohio.edu Language: English - Date: 2004-06-16 22:29:39 Nanotechnology Abstract algebra Mathematical logic Science Microfluidics Fluidics Negated AND gate XOR gate AND gate Logic gates Fluid dynamics Logic
944	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics
945	Next-generation Key CMOS Technologies 40nm Node CMOS Platform “UX8” FUKAI Toshinori, IKEDA Masahiro, TAKAHASHI Toshifumi, NATSUME Hidetaka Abstract The UX8 is the latest process from NEC Electronics. It uses the mos Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:28:34 Computer hardware CMOS Transistor Dynamic random-access memory Random-access memory Renesas Electronics High-k dielectric Depletion-load NMOS logic 1T-SRAM Computer memory Electronic engineering Electronics
946	Fundamental and derivative truths J.R.G.Williams (May 1, 2009) Abstract This paper investigates the claim that some truths are fundamentally or really true— Add to Reading List Source URL: www.personal.leeds.ac.uk Language: English - Date: 2009-05-01 09:15:40 Analytic philosophy Philosophy of language Ontology Semantics Theories of truth Proposition Truth Interpretation Function Logic Philosophy Philosophical logic
947	If You Must Do Confirmation Theory, Do It This Way David Miller [removed] Abstract In this talk I begin to draw together, and to package into a coherent philosophical position, a Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2013-04-30 06:43:56 Propositional calculus Deduction Statistical inference Epistemology Binary operations Inductive reasoning Entailment Function Raven paradox Logic Mathematics Science
948	Next-generation Key CMOS Technologies R&D of LSIs Aiming at High Reliability, High Performance and Low Power Consumption HAYASHI Yoshihiro Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:28:27 Integrated circuits Logic families Semiconductor device fabrication MOSFET CMOS Back end of line Electronic engineering Electronics Digital electronics
949	The Semantics of Natural Kind Terms : How to Make Kripke’s Theory Work Eileen Walker, University of Reading: [removed]. Abstract This paper clarifies and defends the Kripkean view of na tural kind terms, Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2007-10-09 13:35:07 Philosophy of language Philosophical logic Names Meaning Semantics Naming and Necessity Saul Kripke Rigid designator Causal theory of reference Analytic philosophy Philosophy Logic
950	Production Technologies for Mass-production Logic LSI Yield Improvement Analysis By Means of Fault Diagnosis NIKAIDO Masafumi Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:28:40 Systems science Failure Reliability engineering Fault Power engineering Iddq testing Failure analysis Systems engineering Maintenance Systems theory

UPDATE